Computer science - PDFSEARCH.IO - Document Search Engine

Computer science
Results: 55984

#	Item
81	Curriculum Vitae — Computer Science Ian Glen Neal (+ Education Add to Reading List Source URL: about.iangneal.io Language: English - Date: 2018-10-04 15:10:51 Computing Free software Data management Embedded databases OpenLDAP File system Operating system Verilog SQLite Systems engineering Processor design
82	SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-04-10 06:51:54 Security engineering Electromagnetism Computer engineering Computer science Electrical engineering Electronic engineering Computer security Computing Carnegie Mellon School of Computer Science University of Colombo School of Computing
83	Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-04-15 12:27:37 Mathematics Group theory Graph theory Markov chain Kazhdan's property Stochastic game Markov decision process Distribution -quadratic form
84	Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2018-05-02 19:51:01 Mathematics Algebra Equations Linear algebra Monomial Ordinary differential equations Recurrence relation Equation solving Elementary algebra Equation System of linear equations Algebraic curve
85	Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Theoretical computer science Theory of computation Computability theory Mathematics Turing machine Alan Turing Models of computation Ambient calculus Turing completeness Halting problem Computability Reduction
86	Look Before You Shame: A Study on Shaming Activities on Twitter Rajesh Basak, Niloy Ganguly, Shamik Sural, Soumya K Ghosh Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur Kharagpur, Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:23:08 Technology Computing World Wide Web Social media Internet vigilantism Internet-based activism Cyberspace Internet culture Online shaming Twitter Tweet Hashtag
87	Planning with Concurrent Execution Bence Cserna Department of Computer Science University of New Hampshire Durham, NHUSA Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:24 Search algorithms Game artificial intelligence Combinatorial optimization Mathematics Information science Information retrieval Artificial intelligence Routing algorithms Automated planning and scheduling A* search algorithm Heuristic Incremental heuristic search
88	An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Concurrency control Computing Edsger W. Dijkstra Concurrent computing Computer programming Concurrency Transaction processing Synchronization Lock Monitor Parallel computing Granularity
89	Secure PRNGs from Specialized Polynomial Maps over Any Fq Feng-Hao Liu1 , Chi-Jen Lu2 , and Bo-Yin Yang2 1 Department of Computer Science, Brown University, Providence RI, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2012-03-10 01:26:44 Cryptography Mathematics Polynomials Multivariate cryptography Algebra Pseudorandom number generator Computer algebra Hidden Field Equations QUAD Field extension Cryptographically secure pseudorandom number generator Mersenne Twister
90	Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-14 06:12:20 Computer architecture System software Operating system kernels Linux kernel Monolithic kernels Kernel Loadable kernel module Protection ring Operating system Mach Rootkit Mandatory access control